vlagofficier die het bevel voert over de Nederlandse marine-eenheden in Europa; hoogste militair bij de Nederlandse marine in Europa Heette voorheen commandant der zeemacht in Nederland en omvat ook de vroegere functie van de commandant Korps Mariniers .